Categories In Tokyo
Categories in Tokyo
Categories In Tokyo 第1回
Categories in Tokyo - 第1回集会
categorical universal algebra
categorical algebra in nLab
universal algebra in nLab
普遍代数
余極限
圏論的普遍代数学入門
Universal algebra over locally presentable categories
局所表示可能圏
到達可能圏
http://ziphil.com/mathematics/mathematics-diary/68.html
余完備
余完備なら完備の性質ももつ
完備
https://zenn.dev/esnir/books/9595ef4f5dc413/viewer/complete
関手圏
一意化定理
局所表示可能圏の表現定理
$ \mathscr{S} はκ-局所表示可能圏
$ S 小圏
Categories In Tokyo 第2回
Categories in Tokyo - 第2回集会
doctorin、ドクトリン
述語論理→順序集合知前層
Lindenbaum代数
クリプキ構造
古典意味論(classical semantics)
余代数意味論(coalgebra semantics)
継続意味論(continuous semantics)
余代数
GROUP THEORY FOR HOMOTOPY THEORISTS
モデル圏
圏同値
構成主義
= 直観主義論理？
強可述主義（strong predicativism）
predicativism
選択公理
蓮尾 一郎 | 圏論の使い方： 計算機科学の現場から - YouTube
On the iterated analogue of the fundamental homomorphism theorem
調査用
Google.icon Categories in Tokyo(日)
Google.icon Categories in tokyo(英)
#圏論 #東京